	<link href="/css/menubar.css" rel="stylesheet" type="text/css" />

	<div id="menubar-container">
	
	    <div id="menubar">

		<?php
			
			$items = array(
				array("link"=>"debug.php", "label"=>"Sandbox"),
				array("link"=>"index.php", "label"=>"Home"),
				array("link"=>"launch.php", "label"=>"Launch"),
				array("link"=>"list.php", "label"=>"List"));

    	       
			$menu = '<ul>';
			$current = basename($_SERVER['PHP_SELF']);

			foreach ($items as $val) {
			
				$menu .= '<li><a href="'.$val['link'].'"';
			
				if ($current == $val['link'])
					$menu .= ' class="current"';
			  
				$menu .= '>'.$val['label'].'</a></li>';
			}
			$menu .= '</ul>';

			echo $menu;			
			
		?>
		
	    </div>
	
	</div>


